141. Iteration theories
Author: Stephen L. Bloom, Zoltخ n اsik
Library: Vali Asr University Central Library (Kerman)
Subject: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
,
I56
1993
142. Iteration theories : the equational logic of iterative processes
Author: Bloom, Stephen L.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
I56
1993
143. KI 2015
Author: \ [edited by] Steffen Hölldobler...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگرهها
Classification :
Q
336
.
K5
2015
E-Book
,
144. Knowledge in action
Author: / Raymond Reiter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
145. Knowledge in action
Author: / Raymond Reiter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
146. Knowledge in action
Author: / Raymond Reiter
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
147. Learning language in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
148. Learning language in logic
Author: James Cussens, Saso Dzeroski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1925
149. Learning language in logic
Author: / James Cussens, Saeso Dezeroski, (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
9
,.
L63
,
L42
,
2000
150. Linear logic in computer science
Author: edited by Thomas Ehrhard ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
Classification :
QA
9
.
54
.
L563
151. Logic Colloquium' 96 :
Author: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
A1
E358
1998
152. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
153. Logic : a brief course
Author: Mundici, Daniele
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
Classification :
BC
71
.
L62
2012
154. Logic : a brief course
Author: Daniel Mundici; translated by : Krzysloof R. Apt. Daniele Mundici
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
Classification :
QA
9
.
M86L613
155. Logic: a brief course
Author: Mundici, Daniele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
Classification :
QA
9
.
M86
2012
156. Logic : a foundation for computer science
Author: V. Sperschneider & G. Antoniou
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S64
157. Logic : a foundation for computer science
Author: Sperschneider, V.
Library: Central library and information center (Khorasan Razavi)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S6787
1991
158. Logic and Algebraic Methods
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and Mathematical. ; Computer Science. ;
159. Logic and Grammar :
Author: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
P98
.
E358
2011
